Performance Assertion Checking
نویسندگان
چکیده
منابع مشابه
Assertion Checking Unified
We revisit the connection between equality assertion checking in programs and unification that was recently described in [8]. Using a general formalization of this connection, we establish interesting connections between the complexity of assertion checking in programs and unification theory of the underlying program expressions. In particular, we show that assertion checking is: (a) PTIME for ...
متن کاملRuntime Assertion Checking Using JML
public class IntMathOps3 { //@ requires y >= 0; public static int isqrt(int y) { return (int) Math.sqrt(y); } } Figure 1: A simple specification requiring the parameter to be non-negative
متن کاملAssertion Checking Unified (Full Version)
We revisit the connection between equality assertion checking in programs and unification that was recently described in [8]. Using a general formalization of this connection, we establish interesting connections between the complexity of assertion checking in programs and unification theory of the underlying program expressions. In particular, we show that assertion checking is: (a) PTIME for ...
متن کاملAdaptable Assertion Checking for Scientific Software Components
We present a proposal for lowering the overhead of interface contract checking for science and engineering applications. Run-time enforcement of assertions is a well-known technique for improving the quality of software; however, the performance penalty is often too high for their retention during deployment, especially for long-running applications that depend upon iterative operations. With a...
متن کاملCombining Monitoring with Run-Time Assertion Checking
According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally. There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGOPS Operating Systems Review
سال: 1992
ISSN: 0163-5980
DOI: 10.1145/142111.964626